Graph cut - PDFSEARCH.IO - Document Search Engine

Graph cut
Results: 144

#	Item
91	Cut-Based Inductive Invariant Computation Michael Case1,2 1 Alan Mishchenko1 Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2008-04-28 18:02:46 Formal methods Logic in computer science Electronic design automation Mathematical logic Programming paradigms And-inverter graph Logic programming Model checking Boolean satisfiability problem Theoretical computer science Mathematics Applied mathematics
92	Microsoft Word - minreg-fmcad-final3.doc Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2007-07-30 11:41:26 Combinatorial optimization Formal methods Combinatorics Retiming Maximum flow problem Flow network Minimum cut Cut Minimum-cost flow problem Network flow Graph theory Mathematics
93	Expander Flows, Geometric Embeddings and Graph Partitioning SANJEEV ARORA Princeton University SATISH RAO and UMESH VAZIRANI Add to Reading List Source URL: snap.stanford.edu Language: English - Date: 2013-09-11 13:19:18 Combinatorial optimization NP-complete problems Cut Maximum flow problem Graph embedding Matching Vertex cover Big O notation Graph coloring Mathematics Theoretical computer science Graph theory
94	Constructing Optimal Solutions to the Minimum Cost 2-edge-connected Spanning Subgraph Problem Sylvia Boyd Paul Elliott-Magwood Add to Reading List Source URL: www.fields.utoronto.ca Language: English - Date: 2006-04-28 12:37:31 Graph connectivity Ear decomposition Max-flow min-cut theorem Graph Cut Spanning tree Graph theory Mathematics Combinatorial optimization
95	WireMap: FPGA Technology Mapping for Improved Routability Stephen Jang, Billy Chan, Kevin Chung Alan Mishchenko Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2008-02-25 08:02:45 Graph connectivity Field-programmable gate array Connectivity Directed acyclic graph And-inverter graph Cut Graph theory Electronic engineering Diagrams
96	Active Graph Reachability Reduction for Network Security and Software Engineering Alice X. Zheng Microsoft Research Redmond, WA [removed] Add to Reading List Source URL: alicezheng.org Language: English - Date: 2013-11-10 20:05:00 Graph Cut Shortest path problem Flow network Connectivity Graph theory Theoretical computer science Mathematics
97	100 Ways to Serve 10 Fruits & Vegetables Natur al State (not necessarily to eat, but to explore) Add to Reading List Source URL: www.fieldsofflavor.com Language: English - Date: 2014-08-11 15:30:59 Sautéing Butter Personal life Combinatorial optimization Cut Graph connectivity
98	SAND95-2372C Enhancing Data Locality by Using Terminal Propagation Bruce Hendrickson Add to Reading List Source URL: www.sandia.gov Language: English - Date: 2014-09-02 18:16:22 NP-complete problems Graph partition Graph Cut Segmentation-based object categorization Graph coloring Graph theory Mathematics Theoretical computer science
99	Heat-ray: Combating Identity Snowball Attacks Using Machine Learning, Combinatorial Optimization and Attack Graphs John Dunagan Microsoft Research [removed] Add to Reading List Source URL: alicezheng.org Language: English - Date: 2013-11-10 20:06:35 Theoretical computer science Combinatorial optimization Cut Shortest path problem Bridge Computer security Connectivity Graph theory Mathematics Graph connectivity
100	Exploiting Social Network Structure for Person-to-Person Sentiment Analysis (Supplementary Material to [WPLP14]) Robert West, Hristo S. Paskov, Jure Leskovec, Christopher Potts Stanford University Add to Reading List Source URL: cs.stanford.edu Language: English - Date: 2014-08-04 00:26:48 Matroid theory Combinatorial optimization Signed graph Graph Cut NP-complete problems Canadian traveller problem Monochromatic triangle Graph theory Mathematics Theoretical computer science

UPDATE